Correctly handle reaching the end of the interval tree. (Bug#15344)

diff --cc src/ChangeLog
index 4bdc1534eaa9f208f8deca130cb12c7d7f4e07ad,71a5063b07baed7997a9b0118b2db0ff7a9b111a..20b3a5fa922bb77c49734b0d578b4327987e863d
--- 1/src/ChangeLog
--- 2/src/ChangeLog
+++ b/src/ChangeLog
@@@ -1,19 -1,8 +1,24 @@@
+ 2014-01-13  Daniel Colascione  <dancol@dancol.org>
+ 
+       * textprop.c (Fremove_list_of_text_properties): Correctly
+       handle reaching the end of the interval tree. (Bug#15344)
+ 
 +2014-01-13  Martin Rudalics  <rudalics@gmx.at>
 +
 +      * xdisp.c (resize_mini_window): Round height to a multiple of
 +      frame's line height.  Fix bug in calculation of window start
 +      position (Bug#16424).
 +
 +2014-01-13  Jan Djärv  <jan.h.d@swipnet.se>
 +
 +      * macfont.m: Include termchar.h.
 +      (CG_SET_FILL_COLOR_WITH_FACE_FOREGROUND)
 +      (CG_SET_FILL_COLOR_WITH_FACE_BACKGROUND)
 +      (CG_SET_STROKE_COLOR_WITH_FACE_FOREGROUND): Modified from
 +      *_WITH_GC_* to take face and f as parameters.
 +      (macfont_draw): Check for DRAW_MOUSE_FACE and set face accordingly.
 +      Use *_WITH_FACE_*, and pass face as parameter (Bug#16425).
 +
  2014-01-13  Daniel Colascione  <dancol@dancol.org>
  
        Fix menu item updating in the presence of the Unity global menu